Towards a Product Form Solution for Stochastic Process Algebras
نویسندگان
چکیده
منابع مشابه
Product form solution for an insensitive stochastic process algebra structure
Recent research has investigated ways in which generally distributed random variables may be incorporated into stochastic process algebra. These proposals allow the arbitrary use of such variables, improving expressibility, but in general this makes performance evaluation difficult. Typically, simulation techniques must be employed. We attack the goal of generally distributed random variables f...
متن کاملAutoCAT: Automated Product-Form Solution of Stochastic Models
We propose algorithms to automatically generate exact and approximate product-form solutions for large Markov processes that cannot be solved by direct numerical methods. Focusing on models that can be described as cooperating Markov processes, which include queueing networks and stochastic Petri nets as special cases, it is shown that finding a global optimum for a non-convex quadratic program...
متن کاملProduct Form Solution for a Class of
The advantages of the compositional structure within the Markovian process algebra PEPA for model construction and simpliication have already been demonstrated. In this paper we show that for some PEPA models this structure may also be used to advantage during the solution of the model. Several papers ooering product form solutions of stochastic Petri nets have been published during the last te...
متن کاملStochastic Process Algebras
In this tutorial we give an introduction to stochastic process algebras and their use in performance modelling, with a focus on the PEPA formalism. A brief introduction is given to the motivations for extending classical process algebra with stochastic times and probabilistic choice. We then present an introduction to the modelling capabilities of the formalism and the tools available to suppor...
متن کاملOperational Semantics for Product-Form Solution
In this paper we present product-form solutions from the point of view of stochastic process algebra. In previous work [16] we have shown how to derive product-form solutions for a formalism called Labelled Markov Automata (LMA). LMA are very useful as their relation with the Continuous Time Markov Chains is very direct. The disadvantage of using LMA is that the proofs of properties are cumbers...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1995
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/38.7.622